1. ISILC Proof Theory Symposion : dedicated to Kurt Schیtte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
المؤلف: edited by J. Diller and G. H. Mیller
المکتبة: (طهران)
موضوع: Congresses ، Proof theory,Bibliography ، Schutte, K. )Kurt(
رده :
QA
9
.
54
.
I8
1974
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)